Mathematics of program construction - selected papers from the third International Conference on the Mathematics of Program Construction : (17-21 July 1995, Kloster Irsee, Germany)
- Författare
- Bernhard Möller International Conference on Mathematics of Program Construction 1995) Kloster Irsee :
- (Guest editor, B. Möller., Även utg. i sin helhet som Lecture notes in computer sciences 947)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 1996 | Nederländerna, Amsterdam | 272 sidor. |